منابع مشابه
Enumerating Left Distributive Groupoids
Groupoids satisfying the equation x(yz) = (xy)(xz) are called left distributive, or LD-groupoids. We give an algorithm for their enumeration and prove several results on the collection of LD-groupoids extending a given monounary algebra.
متن کاملPartition-induced natural dualities for varieties of pseudo- complemented distributive lattices
A natural dl:sitty is obtained for each finitely generated variety B,, (n < CG) of distributive p-algebras. 7 he duality for B,, is based on a schizophrenic object: E:, in B,, is the algebra 2” @ 1 which gencrates the b:uiety and c?, is a topological relationai structure carrying the discrete topology and a set of Qcbraic reititions. The relations arc (i) the graphs of a (3-element) generating ...
متن کاملSelfdistributive groupoids Part D1: Left distributive semigroups
Every semilattice (i.e., an idempotent commutative semigroup) is selfdistributive. An explicit formulation of this fact (perhaps for the first time) can be found already in C. S. Pierce [Pie,80]. A structural study of two-sided selfdistributive semigroups was initiated in M. Petrich [Pet,69] and that of one-sided selfdistributive semigroups ten years later in S. Markovski [Mar,79]. Altogether, ...
متن کاملNon-idempotent left symmetric left distributive groupoids
Subdirectly irreducible non-idempotent groupoids satisfying x · xy = y and x · yz = xy · xz are studied.
متن کاملPseudo-distributive laws
We address the question of how elegantly to combine a number of different structures, such as finite product structure, monoidal structure, and colimiting structure, on a category. Extending work of Marmolejo and Lack, we develop the definition of a pseudo-distributive law between pseudo-monads, and we show how the definition and the main theorems about it may be used to model several such stru...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 1991
ISSN: 0011-4642,1572-9141
DOI: 10.21136/cmj.1991.102444